9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
Lecture Notes in Computer Science > Model Checking Software > Algorithms and Theoretical Foundations > 95-111
Lecture Notes in Computer Science > Model Checking Software > Algorithms and Theoretical Foundations > 112-127
Lecture Notes in Computer Science > Model Checking Software > Algorithms and Theoretical Foundations > 128-147
Lecture Notes in Computer Science > Model Checking Software > Invited Industrial Presentations > 230-239
Lecture Notes in Computer Science > Model Checking Software > Invited Industrial Presentations > 240-240
Lecture Notes in Computer Science > Model Checking Software > Invited Industrial Presentations > 241-241